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