boost::random travis fix 2