verify: fix bug when gnulib <assert.h> is also included