[krbdev.mit.edu #1019] v4 has its own random number generator

[Sam Hartman via RT]

I think it was also not true for a long time.
As part of the yarrow integration I caused des425 to call into libk5crypto.