another travis.yml tweak