fix .travis file