Bug fixed on PHP 5.4.11 builds.

Bug fixed on PHP 5.4.11 builds.