switch random number generator to /dev/urandom based