Modify .travis file