Modify .travis.yaml