fixes, Makefile, improved verification script