gitdir: ../../.git/modules/ext_libs/eigen
