diff --git a/src/experiments/checksum-oostubs/campaign.cc b/src/experiments/checksum-oostubs/campaign.cc
index f8ff5e2a..ccf2bdaa 100644
--- a/src/experiments/checksum-oostubs/campaign.cc
+++ b/src/experiments/checksum-oostubs/campaign.cc
@@ -19,7 +19,7 @@
 using namespace std;
 using namespace fail;
 
-char const * const trace_filename = "trace.pb";
+char const * const trace_filename = "trace.tc";
 char const * const results_filename = "chksumoostubs.csv";
 
 // equivalence class type: addr, [i1, i2]
diff --git a/src/experiments/checksum-oostubs/experiment.cc b/src/experiments/checksum-oostubs/experiment.cc
index 8e7c76f3..25bb9bb3 100644
--- a/src/experiments/checksum-oostubs/experiment.cc
+++ b/src/experiments/checksum-oostubs/experiment.cc
@@ -21,6 +21,8 @@
 
 #include "ecc_region.hpp"
 
+#define LOCAL 0
+
 using namespace std;
 using namespace fail;
 
@@ -73,7 +75,7 @@ bool ChecksumOOStuBSExperiment::run()
 	tp.restrictMemoryAddresses(&mm);
 
 	// record trace
-	char const *tracefile = "trace.pb";
+	char const *tracefile = "trace.tc";
 	ofstream of(tracefile);
 	tp.setTraceFile(&of);