Yet another tweak to .travis.yml