Alternatives to renaming /dev/random to /dev/urandom