fix verification when regenerating makefile