PHP binding for libuuid