tweaked travis.yml