PHP bindings to the libconfig