gitdir: ../../.git/modules/lib/eigen-3.4.0
