tweaked travis.yml settings