websocket_server external fat binary compilation.