Fix the travisci config