gitdir: ../.git/modules/geometric-certificates
