options: kill 'use_os_rand'