Fix php.php on php53