[tor-commits] [torbrowser/maint-2.3] Use the predefined COMPRESSED_NAME