riched32(3w) on Linux

The text 4f79ac738dc0, as Debian 4.0 (Etch) shipped it.

riched32(3w) on Linux now