Fix TravisCI config take2