Fix travis script (and again)