Use Crypto.Random.AESCtr.makeSystem as RNG