[tor-commits] [flashproxy/master] Build only websocket-server by default.