Fix TravisCI config file