Merge pull request #129 from hnyman/fix-rng-tools