fixup mt_rng class to use boost::random_device