another minor travis.yml tweak