"verification" support via Makefile.