diff --git a/examples/corev_demo.py b/examples/corev_demo.py
index 12eebcc4..8c789455 100644
--- a/examples/corev_demo.py
+++ b/examples/corev_demo.py
@@ -36,7 +36,7 @@
 INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
 PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
 BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
-DEST = os.environ.get("BUILD_CONFIG", "/tmp/seal5_llvm_corev")
+DEST = os.environ.get("DEST", "/tmp/seal5_llvm_corev")
 NAME = os.environ.get("NAME", "corev")
 
 seal5_flow = Seal5Flow(DEST, NAME)
diff --git a/examples/demo.py b/examples/demo.py
index e457e49c..b10a2734 100644
--- a/examples/demo.py
+++ b/examples/demo.py
@@ -37,7 +37,7 @@
 INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
 PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
 BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
-DEST = os.environ.get("BUILD_CONFIG", "/tmp/seal5_llvm_demo")
+DEST = os.environ.get("DEST", "/tmp/seal5_llvm_demo")
 NAME = os.environ.get("NAME", "demo")
 
 seal5_flow = Seal5Flow(DEST, NAME)
diff --git a/examples/gen_demo.py b/examples/gen_demo.py
index 0a4ad5ff..c7782ae9 100644
--- a/examples/gen_demo.py
+++ b/examples/gen_demo.py
@@ -37,7 +37,7 @@
 INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
 PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
 BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
-DEST = os.environ.get("BUILD_CONFIG", "/tmp/seal5_llvm_gen")
+DEST = os.environ.get("DEST", "/tmp/seal5_llvm_gen")
 NAME = os.environ.get("NAME", "gen")
 
 seal5_flow = Seal5Flow(DEST, NAME)
diff --git a/examples/s4e_demo.py b/examples/s4e_demo.py
index 6cf9d24f..7257d18c 100644
--- a/examples/s4e_demo.py
+++ b/examples/s4e_demo.py
@@ -37,7 +37,7 @@
 INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
 PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
 BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
-DEST = os.environ.get("BUILD_CONFIG", "/tmp/seal5_llvm_s4e")
+DEST = os.environ.get("DEST", "/tmp/seal5_llvm_s4e")
 NAME = os.environ.get("NAME", "s4e")
 
 seal5_flow = Seal5Flow(DEST, NAME)