Un-doing bad changes to travis.yml (sorry)