diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in
index ee4873009165e22899179f66be430c6c3e3f9841..ba1717b81d56b94e955e972cd0c517d593abd266 100644
--- a/src/plugins/wp/Makefile.in
+++ b/src/plugins/wp/Makefile.in
@@ -318,7 +318,8 @@ byte:: $(Wp_DIR)/share/why3/why3.conf
 opt:: $(Wp_DIR)/share/why3/why3.conf
 
 $(Wp_DIR)/share/why3/why3.conf: config.status $(Wp_DIR)/Makefile.in
-	@echo Generation of the extra-config for why3
+	$(PRINT_MAKING) "extra-config for why3"
+	$(RM) $@
 	@printf "[prover_modifiers]\n" >> $@
 	@printf "name=\"Coq\"\n" >> $@
 	@printf "option=\"-Q $(FRAMAC_DATADIR)/wp/why3 ''\"\n" >> $@
@@ -329,7 +330,7 @@ $(Wp_DIR)/share/why3/why3.conf: config.status $(Wp_DIR)/Makefile.in
 	@printf "\n"  >> $@
 	@printf "[editor_modifiers proofgeneral-coq]\n" >> $@
 	@printf "option=\"--eval \\\\\"(setq coq-load-path (cons '(\\\\\\\\\\\\\"$(FRAMAC_DATADIR)/wp/why3\\\\\\\\\\\\\" \\\\\\\\\\\\\"\\\\\\\\\\\\\") coq-load-path))\\\\\"\"\n"  >> $@
-	@chmod u-w $@
+	$(CHMOD_RO) $@
 
 # --------------------------------------------------------------------------
 # --- Installation                                                       ---