--- a/s/stx/benchmark-runner.sh	Sun Jul 14 19:38:15 2013 +0100
+++ b/s/stx/benchmark-runner.sh	Mon Jul 15 00:45:51 2013 +0100
@@ -34,10 +34,7 @@
             DEBUGGER=gdb
             ;;
         --callgrind)
-            #PROFILER="/usr/local/bin/valgrind -v -v -d --tool=callgrind --instr-atstart=no"
-            PROFILER="/usr/local/bin/valgrind -v --smc-check=all-non-file --tool=callgrind --instr-atstart=no"
-            PROFILER="valgrind -v --smc-check=all-non-file --tool=callgrind --instr-atstart=no"
-            #PROFILER_OPTS=--callgrind
+            PROFILER="valgrind -v --smc-check=all-non-file --tool=callgrind --instr-atstart=no --collect-jumps=yes --cache-sim=yes --branch-sim=yes"
             ;;
         -T*)
             VM_OPTS="$VM_OPTS $1"