Fix travis problem hopefully for real this time