gitdir: ../../.git/modules/library/eigen
