Yet another fix for travis.yml