[tor-commits] [torbrowser/master] Use the predefined COMPRESSED_NAME