I haven't received any news from debian, so I'm forwarding the report upstream myself. (http://bugs.php.net/bug.php?id=47477)
best regards -- giuseppe -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org