Fixing travis.yml yet again...