Explicitly define PF_DUMPCORE, since it is rarely defined in the header
it is supposed to be defined in.