This avoids having to edit localdefs by hand to build the new php extension, and voids the need for the Python module to recompile Recoll source files.
