Update to php-5.5.1.