gitdir: ../../.git/modules/external/eigen
