Use OpenSSL's PRNG instead of /dev/urandom

This is mostly for portability.