gustafn
committed
on 16 Jul
use the random number generator from OpenSSL, when available