diff --git a/tools/make_disc_trees.pl b/tools/make_disc_trees.pl
index 7c54b1d6..ca3a7988 100755
--- a/tools/make_disc_trees.pl
+++ b/tools/make_disc_trees.pl
@@ -647,13 +647,13 @@ sub recompress {
 
 	# Packages and Sources files; workaround for bug #402482
 	if ($filename =~ m/\/.*\/(Packages|Sources)$/o) {
-		print LOG "Recompressing $filename\n";
+		system("rm -f $_.gz");
 		system("gzip -9c < $_ >$_.gz");
 	}
 	# Translation files need to be compressed in .gz format on CD?
 	if ($filename =~ m/\/.*\/i18n\/(Translation.*)$/o &&
 		! ($filename =~ m/\/.*\/i18n\/(Translation.*gz)$/o)) {
-		print LOG "Recompressing $filename\n";
+		system("rm -f $_.gz");
 		system("gzip -9c < $_ >$_.gz");
 	}
 }