Fix travis script