Fix travis configuration file.