add PRNGFixes