Repair install on Travis CI