doing a make clean in verificatum