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