gitdir: ../../.git/modules/externals/Eigen
