diff --git a/artiq/test/lit/devirtualization/function.py b/artiq/test/lit/devirtualization/function.py
index 5c24b492b..db2e7afd0 100644
--- a/artiq/test/lit/devirtualization/function.py
+++ b/artiq/test/lit/devirtualization/function.py
@@ -1,5 +1,5 @@
-# RUN: env ARTIQ_DUMP_IR=1 %python -m artiq.compiler.testbench.embedding +compile %s 2>%t
-# RUN: OutputCheck %s --file-to-check=%t
+# RUN: env ARTIQ_DUMP_IR=%t %python -m artiq.compiler.testbench.embedding +compile %s
+# RUN: OutputCheck %s --file-to-check=%t.txt
 
 from artiq.language.core import *
 from artiq.language.types import *
diff --git a/artiq/test/lit/devirtualization/method.py b/artiq/test/lit/devirtualization/method.py
index 2105487e3..32578d599 100644
--- a/artiq/test/lit/devirtualization/method.py
+++ b/artiq/test/lit/devirtualization/method.py
@@ -1,5 +1,5 @@
-# RUN: env ARTIQ_DUMP_IR=1 %python -m artiq.compiler.testbench.embedding +compile %s 2>%t
-# RUN: OutputCheck %s --file-to-check=%t
+# RUN: env ARTIQ_DUMP_IR=%t %python -m artiq.compiler.testbench.embedding +compile %s 2>%t
+# RUN: OutputCheck %s --file-to-check=%t.txt
 
 from artiq.language.core import *
 from artiq.language.types import *