Make sure the random generator is set