* lib/verify.h: Merge from gnulib.