gitdir: ../../.git/modules/third_party/eigen3
