boost::random travis fix 3