Fix travis-ci configuration.