tweak travis.yml