gitdir: ../../../.git/modules/data/benchmarks/CompCert
