gitdir: ../../.git/modules/external_libs/eigen
