Switch all random generators to be decided by use_os_rand