diff --git a/Makefile b/Makefile
index 1d951c47c..68d23443f 100644
--- a/Makefile
+++ b/Makefile
@@ -168,6 +168,7 @@ clean:
 	$(MAKE) -C bin/tau/taud clean
 	$(MAKE) -C bin/vanityaddr clean
 	RUSTFLAGS="$(RUSTFLAGS)" $(CARGO) clean --target=$(RUST_TARGET) --release
+	rm -f $(PROOFS_BIN)
 
 distclean: clean
 	rm -rf target