Bug #0087: Fix for the random number generator build patch.