- fix websocket-server program name, somehow omitted from last commit