Use a stronger PRNG where available