tweaking .travis.yml to make it work