Fix compilation on PHP 5.3.x before 5.3.7

See: php/php-src@997f323e3afd74819a12a8289197c18b3c447bdf