gistfile1.txt

--- a/tools/make-tarball
+++ b/tools/make-tarball
@@ -55,5 +55,15 @@ if [ "$rev" = HEAD ] && ! git diff-index --quiet HEAD --; then
     fi
 fi
 
-git archive --format=tar.gz --prefix="$archive_base/" "$rev" > "$output"
+TEMP_D=$(mktemp -d)
+working_dir=$PWD
+git archive --format=tar --prefix="$archive_base/" "$rev" > "$TEMP_D/$archive_base.tar"
+cd $TEMP_D/
+gzip "$archive_base.tar"
+mv "$archive_base.tar.gz" $working_dir/$output
+
 echo "$output"