update to php-5.5.18