Fix travis command line.