Use mwc-random instead of random.