gitdir: ../.git/modules/libsnark-tutorial
