Hopefully this finally fixes travis-ci (But it probably won't.)