Renumbered phpdbg.h correctly