Update to php-5.5.9.