embedded websocket application by flask into c binary