travis.yml: another tweak