fix use of already destroyed hashtable with phpdbg