Workaround for bug in Botan's RNG.