Refer to original libwebsockets.h header