Switch to use the distributions from <random>, rather than homegrown ones.