produces:
vdiff_keccak (vtools) vtools/vdiff.gpr
consumes:
vtools_vpatch (vtools) vtools/vdiff.gpr