Remove a redundant header include

pet.h has been included in ppcg.h thus no need to include it once again.