Bug fix when build in PHP 5.4.x sources.