Removed old PRNG file