fix #3962: call math.randomseed() at start