popcheck.c: include config.h.