Add Crypt/Random.php for PRNG access