Make rng_seed() much more randomly seeded on Windows.