Fix tor-android-service and tor-onion-proxy-library filenames
The output filename of tor-android-service and tor-onion-proxy-library are ending with .tar.gz
, which should indicate that it is a tarball file compressed with gz, however this is not the case and the output is a directory. To avoid confusion I think we should remove the .tar.gz
from the filenames.