travis.yml modifications