gitdir: ../../../.git/modules/SEAL
