diff --git a/Makefile b/Makefile
index af69dced53600ad828c839294082732c0c06dbdc..e63e3ff5dafc0e486a996090c279854ef69d844f 100644
--- a/Makefile
+++ b/Makefile
@@ -229,7 +229,7 @@ run: buildrepo $(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 output/klee_profiling.db
+	make clean; make; make klee; make clean; make wcet; make run; cp profiling_db_parser.py output/; cd output; python profiling_db_parser.py klee_profiling.db;
 
 define make-repo
    for dir in $(SRCDIRS); \