bug-fixes in randmt32 + other stuff