Actually seed the random number generator.