Yet another .travis.yml tweak