updated Raspberry Pi websocket server binary to the latest version (#117)