diff --git a/Makefile b/Makefile
index d0f8ab5..3298d38 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,7 @@ FAIL_SERVER  ?= ${FAIL_BIN}/generic-experiment-server
 FAIL_TRACE   ?= ${FAIL_BIN}/generic-tracing-client
 # FAIL_INJECT  ?= ${FAIL_BIN}/fail-generic-experiment
 FAIL_INJECT  ?= ${FAIL_BIN}/generic-experiment-client
+FAIL_DUMP    ?= ${FAIL_BIN}/dump-trace
 FAIL_IMPORT  ?= ${FAIL_BIN}/import-trace --enable-sanitychecks
 FAIL_PRUNE   ?= ${FAIL_BIN}/prune-trace
 BOCHS_RUNNER ?= ${FAIL_BIN}/bochs-experiment-runner.py
@@ -80,7 +81,7 @@ trace-%:
 ****************************************************************"
 
 dump-%: ${BUILD_DIR}/%/trace.pb
-	${BUILD_DIR}/bin/dump-trace $(shell dirname $<)/trace.pb
+	${FAIL_DUMP} $(shell dirname $<)/trace.pb
 
 ${HOME}/.my.cnf:
 	@echo "[client]" > $@