boost::random travis fix 1