It has become so slow in 1.2.0, especially on Win32, that this isn't
funny.
Maybe the new rands() are slower (4d6247fd)
Ref #4290