Fix travis again...