Revert "Merge branch 'bigrng' of github.com:andrioni/julia into andrioni-bigrng"

This reverts commit 4cc21ca56a3e335c7ab2fbf3fa1d1cd5d8997839, reversing
changes made to 4f9a2a98c3297a8bf2a323a6f1949ec301f5d8ec.