adjust .travis file