Fix travis.yml (hopefully)