yet another fix for travis.yml (this one must be final)