Fix travis again . . .