Fix travis script.