[tor-commits] [websocket/master] disambiguate binary names to avoid potential name clashes