Tweaked travis.yml