Another .travis fix