diff --git a/proof/proofbench/Module.mk b/proof/proofbench/Module.mk
index d0ff8cc417bf39a8f1157f03d52aceb811c04389..79b85bfe6fc9dc695675ad5def20d9052cd93d49 100644
--- a/proof/proofbench/Module.mk
+++ b/proof/proofbench/Module.mk
@@ -85,6 +85,7 @@ $(PROOFBENCHMAP): $(RLIBMAP) $(MAKEFILEDEP) $(PROOFBENCHL)
 
 $(PBDPAR):   $(PBDPARH) $(PBDPARS)
 		$(DMAKEDIR)
+		stat $(dir $@)
 		@echo "Generating PAR file $@..."
 		@(if test -d $(PBDPARDIR); then \
 		   rm -fr $(PBDPARDIR); \
@@ -116,6 +117,7 @@ $(PBDPAR):   $(PBDPARH) $(PBDPARS)
 
 $(PBCPAR):   $(PBCPARH) $(PBCPARS)
 		$(DMAKEDIR)
+		stat $(dir $@)
 		@echo "Generating PAR file $@..."
 		@(if test -d $(PBCPARDIR); then \
 		   rm -fr $(PBCPARDIR); \