diff --git a/Test/dafny0/AssertBy.dfy b/Test/dafny0/AssertBy.dfy
index eeb08c36475..2f17cc47b90 100644
--- a/Test/dafny0/AssertBy.dfy
+++ b/Test/dafny0/AssertBy.dfy
@@ -1,4 +1,4 @@
-// RUN: %dafny /dprint:- "%s" > "%t"
+// RUN: %dafny /env:0 /dprint:- "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
 method M0(x: int, y: int)
diff --git a/Test/dafny0/AssertBy.dfy.expect b/Test/dafny0/AssertBy.dfy.expect
index 04d3d1f7317..140cfed4403 100644
--- a/Test/dafny0/AssertBy.dfy.expect
+++ b/Test/dafny0/AssertBy.dfy.expect
@@ -1,5 +1,3 @@
-// Dafny program verifier version 1.9.7.30401, Copyright (c) 2003-2016, Microsoft.
-// Command Line Options: -nologo -countVerificationErrors:0 -useBaseNameForFileName /dprint:- C:\dafny\Test\dafny0\AssertBy.dfy
 // AssertBy.dfy
 
 method M0(x: int, y: int)
diff --git a/Test/dafny0/AutoContracts.dfy b/Test/dafny0/AutoContracts.dfy
index d3bd502231a..5abf7073172 100644
--- a/Test/dafny0/AutoContracts.dfy
+++ b/Test/dafny0/AutoContracts.dfy
@@ -1,4 +1,4 @@
-// RUN: %dafny /print:"%t.print" /rprint:- "%s" > "%t"
+// RUN: %dafny /env:0 /print:"%t.print" /rprint:- "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
 module OneModule {
diff --git a/Test/dafny0/AutoContracts.dfy.expect b/Test/dafny0/AutoContracts.dfy.expect
index 61b55f72c4f..bd6769e6b3d 100644
--- a/Test/dafny0/AutoContracts.dfy.expect
+++ b/Test/dafny0/AutoContracts.dfy.expect
@@ -1,5 +1,3 @@
-// Dafny program verifier version 1.9.7.30401, Copyright (c) 2003-2016, Microsoft.
-// Command Line Options: -nologo -countVerificationErrors:0 -useBaseNameForFileName /print:C:\dafny\Test\dafny0\Output\AutoContracts.dfy.tmp.print /rprint:- C:\dafny\Test\dafny0\AutoContracts.dfy
 // AutoContracts.dfy
 
 /*