Hi,

Here is a patch to fix the PHP build.

Have a good day,
Noé Lopez