Fix TravisCI settings.