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