extract_proofs: update Makefile