modified .travis file