diff --git a/tools/make_disc_trees.pl b/tools/make_disc_trees.pl
index e7643cdd..bd225e94 100755
--- a/tools/make_disc_trees.pl
+++ b/tools/make_disc_trees.pl
@@ -601,6 +601,7 @@ sub recompress {
 	if ($filename =~ m/\/.*\/i18n\/(Translation.*)$/o &&
 		! ($filename =~ m/\/.*\/i18n\/(Translation.*gz)$/o)) {
 		system("gzip -9c < $_ >$_.gz");
+		unlink ($_);
 	}
 }