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