A rump server may now implement its own random number generator, the default impelementation will not generate random number. Issue #1409