php: bump to 5.4.15 (fixes build with new libxml2)