gitdir: ../../../../.git/modules/third_party/drjit/modules/ext/drjit-core
