PHP bindings for libgccjit