mrand48_r(3) on Linux

The text d0af7cb42f95, as Debian 6.0 (Squeeze) shipped it.

generate uniformly distributed pseudo-random numbers reentrantly

mrand48_r(3) on Linux now