remove Random extension
Merge pull request #590 from davidchambers/random

remove Random extension