diff --git a/test/lit.cfg.py b/test/lit.cfg.py
index 0a9cd9a7b..78319bbbf 100644
--- a/test/lit.cfg.py
+++ b/test/lit.cfg.py
@@ -129,9 +129,9 @@ def one_line(s):
         done
     ''')),
 
-    ('%run-binary-out', '%t.interpreter %test-input -1 %t.out.bin --binary-output'),
-    ('%run-binary', '%convert-input && %t.interpreter %t.bin -1 /dev/stdout'),
-    ('%run-proof-out', '%t.interpreter %test-input -1 %t.out.bin --proof-output'),
+    ('%run-binary-out', 'rm -f %t.out.bin && %t.interpreter %test-input -1 %t.out.bin --binary-output'),
+    ('%run-binary', 'rm -f %t.bin && %convert-input && %t.interpreter %t.bin -1 /dev/stdout'),
+    ('%run-proof-out', 'rm -f %t.out.bin && %t.interpreter %test-input -1 %t.out.bin --proof-output'),
     ('%run', '%t.interpreter %test-input -1 /dev/stdout'),
 
     ('%kprint-check', 'kprint %S %s true | diff - %s.out'),