removed boost_random