Fixed Covertool git repo access which failed on Travis CI