Small improvement PHP libevent extension