[ET Trac] #2764: PUGH tries to free memory not allocated by malloc