diff --git a/src/goto-diff/scripts/diff-filter.pl b/src/goto-diff/scripts/diff-filter.pl
index 9c54eced133..ec028b7bfdf 100755
--- a/src/goto-diff/scripts/diff-filter.pl
+++ b/src/goto-diff/scripts/diff-filter.pl
@@ -114,7 +114,8 @@
   {
     if($edits{$f}{$l} =~ /^[CDcd]$/)
     {
-      `sed -i '${l}s/^/$edits{$f}{$l}#/' $f_edit`;
+      `sed -i.bak '${l}s/^/$edits{$f}{$l}#/' $f_edit`;
+      unlink "$f_edit.bak";
     }
   }
 }