gitdir: ../../.git/modules/dependencies/aig
