/proof-allconfigs/ /build/ /dest/ /*.gpr /.config