Tweaked travis.yaml