Since 5f32f03d, its PRNG functions are fanned out into platform specific
implementations; those are included now.