Use OpenSSL for random number generation.