tweaking .travis.yml