--- a/s/stx/benchmark-runner.sh	Mon Nov 11 22:57:04 2013 +0000
+++ b/s/stx/benchmark-runner.sh	Wed Nov 20 12:52:07 2013 +0000
@@ -30,8 +30,8 @@
         --gdb)
             DEBUGGER=gdb
             ;;
-        --cgfb)
-            DEBUGGER=gdb
+        --cgdb)
+            DEBUGGER=cgdb
             ;;
         --callgrind)
             PROFILER="valgrind -v --smc-check=all-non-file --tool=callgrind --instr-atstart=no --collect-jumps=yes --cache-sim=yes --branch-sim=yes"