Fix travis configuration file