[tor-dev] Shrink Tor binary size