fix .travis config