Use boost::mt19937 instead of boost::random::mt19937