changed wget to curl for websocket setup script to ensure better compatibility (e.g. Mac OS)