/test-suite/coq-makefile/emptyprefix/
../
_CoqProject
_CoqProject.sub
run.sh