gitdir: ../../.git/modules/externals/autodiff
