Updated to PHP-5.4.13