update to php-5.5.16