made randmt32_r() lock the PRNG for shorter time