Removing coverage from Git, fixing issues with binpath in CI.