diff --git a/collects/meta/drdr/make-archive.rkt b/collects/meta/drdr/make-archive.rkt
index 0edca37bc6..5ccfad2b7d 100644
--- a/collects/meta/drdr/make-archive.rkt
+++ b/collects/meta/drdr/make-archive.rkt
@@ -20,11 +20,11 @@
       (printf "r~a is already archived\n" rev)
       (local [(define tmp-path (make-temporary-file))]
         (printf "Archiving r~a\n" rev)
+        (safely-delete-directory (revision-trunk.tgz rev))
         (create-archive tmp-path (revision-dir rev))
         (rename-file-or-directory tmp-path archive-path)
-        (archive-directory (revision-log-dir rev))
-        (archive-directory (revision-analyze-dir rev))
-        (safely-delete-directory (revision-trunk.tgz rev)))))
+        (safely-delete-directory (revision-log-dir rev))
+        (safely-delete-directory (revision-analyze-dir rev)))))
 
 (define mode (make-parameter 'single))
 
diff --git a/collects/meta/drdr/recompress.sh b/collects/meta/drdr/recompress.sh
new file mode 100755
index 0000000000..2bce3187bd
--- /dev/null
+++ b/collects/meta/drdr/recompress.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+unset a i
+while IFS= read -r -d $'\0' file; do
+    newfile=$(dirname "${file}")/$(basename "${file}" .tgz).tar.7z
+    if [ -f "${newfile}" ] ; then
+        rm -f "${newfile}"
+    fi
+    7z x "${file}" -so | 7z a "${newfile}" -t7z -m0=lzma -mfb=64 -ms=on -mx=9 -si && rm -f ${file}
+done < <(find . -name '*.tgz' -print0)
+