PHP extension with libev