Update pfgen.h