Fix TravisCI config.