Linux process random number generator.