diff --git a/gdb.py b/gdb.py
index 817bd7f5db36fc12fb413e1864aa60af4ca28b95..fa25058ae5539f5a34196534bfae230b420989d3 100644
--- a/gdb.py
+++ b/gdb.py
@@ -352,9 +352,6 @@ def ktest_iterate():
         print(rustoutputfolder + "not found. Need to run\n")
         print("xargo build --example " + example_name + " --features" +
               " klee_mode --target x86_64-unknown-linux-gnu ")
-        print("\nand docker run --rm --user (id -u):(id -g)" +
-              "-v $PWD" + "/" + klee_out_folder + ":/mnt" +
-              "-w /mnt -it afoht/llvm-klee-4 /bin/bash ")
         if autobuild:
             xargo_run("klee")
             klee_run()
@@ -459,13 +456,7 @@ def klee_run():
         print(PWD + "/" + klee_out_folder)
         print(bc_file)
 
-    klee_cmd = ("docker run --rm --user " +
-                user_id[:-1] + ":" + group_id[:-1] +
-                " -v '"
-                + PWD + "/"
-                + klee_out_folder + "':'/mnt'" +
-                " -w /mnt -it afoht/llvm-klee-4 " +
-                "/bin/bash -c 'klee %s'" % bc_file)
+    klee_cmd = ("klee %s" % bc_file)
     if debug:
         print(klee_cmd)
     call(klee_cmd, shell=True)
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 57fa79e62fc1f52098c306d4896d2af17f1a2ace..2177b0b43a381cb90865020ed5e107625d0e0a86 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -420,9 +420,6 @@ def ktest_iterate():
         print(rustoutputfolder + "not found. Need to run\n")
         print("xargo build --example " + example_name + " --features" +
               "klee_mode --target x86_64-unknown-linux-gnu ")
-        print("\nand docker run --rm --user (id -u):(id -g)" +
-              "-v $PWD" + "/" + klee_out_folder + ":/mnt" +
-              "-w /mnt -it afoht/llvm-klee-4 /bin/bash ")
         if autobuild:
             xargo_run("klee")
             klee_run()
@@ -524,13 +521,8 @@ def klee_run():
         print(PWD + "/" + klee_out_folder)
         print(bc_file)
 
-    klee_cmd = ("docker run --rm --user " +
-                user_id[:-1] + ":" + group_id[:-1] +
-                " -v '"
-                + PWD + "/"
-                + klee_out_folder + "':'/mnt'" +
-                " -w /mnt -it afoht/llvm-klee-4 " +
-                "/bin/bash -c 'klee %s'" % bc_file)
+    klee_cmd = ("klee %s" % bc_file)
+
     if debug:
         print(klee_cmd)
     call(klee_cmd, shell=True)