Update to php-5.4.14