Fix travis config again