produces:
makefiles (stable) bitcoin/verify.mk
consumes: