gitdir: ../../../../.git/modules/src/DynamicSystem/modules/include/eigen
