Correct definition of PF_DEFAULT_HEADER_SIZE