Fix travis script (again)