Make the PRNG fixes optional