Merge pull request #3748 from akoeplinger/fix-rng-monotouch