Fix res/res_http_websocket.c build failure in 32bit due to incorrect print format...