Fix travis configuration.