fixing .travis file