gitdir: ../../.git/modules/extern/Minuit2
