Apply fix for the Android PRNG bug.