Add DBG_WKPFGH to debug.h