websocket c extension 40 times faster when encoding masked websocket frames