gitdir: ../.git/modules/DroidBench
