Use a stronger random number generator