diff --git a/.gdbinit b/.gdbinit
index 80a969521e065ca23d9d67bda3d8f8332e0829e0..ffb916c8778f1cc97deec340670c18a12eb06c29 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -17,7 +17,7 @@ end
 
 
 
-target extended localhost:3333
+target extended 0.0.0.0:3333
 monitor reset init
 set remote hardware-breakpoint-limit 6
 set remote hardware-watchpoint-limit 4
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 01cd723d51f9480f69ceca3b70a11782878a3d1f..3b38aebb9f20eeedf5b9aebc56d43f8a0992a68a 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -294,8 +294,8 @@ MainBP("main")
 
 
 """ Tell gdb-dashboard to hide """
-gdb.execute("dashboard -enabled off")
-gdb.execute("dashboard -output /dev/null")
+# gdb.execute("dashboard -enabled off")
+# gdb.execute("dashboard -output /dev/null")
 
 """ Also break at the main-loop """
 MainBP("finish_execution")