mono/mono — pull request #991 by ranma42 (2014-04-12 07:07:25+00:00)
Title: Use bash when using $RANDOM bashism

$RANDOM is only supported by bash, not by sh.