Fix travis.yml file (hopefully)