PHP PUNO updated for PHP 5.5