Fix bad --without-xmlrpc switch
php: bump to 5.5.16