fix whitespace in phpdbg.c