0001-Update-package.xml-to-limit-the-build-to-PHP-5.x.patch
0002-Use-clock_gettime-CLOCK_REALTIME-.-instead-of-rdtsc-.patch
