Makefile that compile prob_verify as libpverify.a