Fix timing issue with random seed test on windows