Switched to an alternate random number generator that supports seeding