Fix TravisCI configuration.