main/php: upgrade to 5.5.16