Fix compilation with Boost 1.46.1: boost::mt19937 instead of boost::random::mt19937