diff --git a/Makefile b/Makefile
index 1fc22b65f2d8ce31000fadf5f2faa1a8c9660bd9..db988736bc320e255498974bbc74b01dcfac4613 100644
--- a/Makefile
+++ b/Makefile
@@ -226,7 +226,7 @@ klee: buildrepo $(EXECUTABLE)
 	klee -emit-all-errors $(IROUT)
 
 run: buildrepo $(EXECUTABLE)
-	arm-none-eabi-gdb -batch-silent -q -x klee_stm_gdb.py $(EXECUTABLE)
+	arm-none-eabi-gdb -q -x klee_stm_gdb.py $(EXECUTABLE)
 
 bench: buildrepo $(EXECUTABLE)
 	make clean; make; make klee; make clean; make wcet; make run; python profiling_db_parser.py klee_profiling.db
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 8ff6e288c41cf5666ee70fa56fe31304b6e74a7f..9d48346dc7c7ce7a0135daa519a7bca344762c29 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -14,7 +14,7 @@ file_index_current = 0
 object_index_current = 0
 
 """ Max number of events guard """
-object_index_max = 100
+object_index_max = 10
 
 database_name = "klee_profiling"
 
@@ -280,6 +280,10 @@ def ktest_iterate():
 # AddBreakpoint("main")
 MainBP("main")
 
+""" Tell gdb-dashboard to hide """
+gdb.execute("dashboard -enabled off")
+gdb.execute("dashboard -output /dev/null")
+
 """ Also break at the main-loop """
 # AddBreakpoint("finish_execution")
 MainBP("finish_execution")