Fix TravisCI config