Thank you for your bug report. This issue has already been fixed
in the latest released version of PHP, which you can download at
http://www.php.net/downloads.php
Fixed in b4 or latest pecl release (while we do not support x64 for < 5.5)