switch to using rng from boost