Merge pull request #4953 from RosettaCommons/dpaoliello/FixRandom Fix the Windows build for `init_random_generator.cc`