jrand48_r(3) on Linux

The text 6c8b2ebb8d20, as Debian 8 (Jessie) shipped it.

generate uniformly distributed pseudo-random numbers reentrantly

jrand48_r(3) on Linux now