travis.yaml tweak