diff --git a/Makefile.coq.local b/Makefile.coq.local
index 968028f..c6a0262 100644
--- a/Makefile.coq.local
+++ b/Makefile.coq.local
@@ -1,8 +1,8 @@
 pre-all::
 	if command -v coqc > /dev/null && (coqc --version | grep -q '8.18\|8.19\|8.20') ; then \
 	  for f in $(shell grep "From Corelib" $$(find . -name "*.v") | cut -d: -f1) ; do \
-	     sed -i.bak $${f} -e 's/From Corelib/From Coq/' ; \
-	     sed -i.bak $${f} -e 's/PosDef/PArith/' ; \
+	     sed -i.bak 's/From Corelib/From Coq/' $${f} ; \
+	     sed -i.bak 's/PosDef/PArith/' $${f} ; \
 	     $(RM) $${f}.bak ; \
 	  done ; \
 	fi
diff --git a/theories/proof/Makefile.coq.local b/theories/proof/Makefile.coq.local
index 968028f..c6a0262 100644
--- a/theories/proof/Makefile.coq.local
+++ b/theories/proof/Makefile.coq.local
@@ -1,8 +1,8 @@
 pre-all::
 	if command -v coqc > /dev/null && (coqc --version | grep -q '8.18\|8.19\|8.20') ; then \
 	  for f in $(shell grep "From Corelib" $$(find . -name "*.v") | cut -d: -f1) ; do \
-	     sed -i.bak $${f} -e 's/From Corelib/From Coq/' ; \
-	     sed -i.bak $${f} -e 's/PosDef/PArith/' ; \
+	     sed -i.bak 's/From Corelib/From Coq/' $${f} ; \
+	     sed -i.bak 's/PosDef/PArith/' $${f} ; \
 	     $(RM) $${f}.bak ; \
 	  done ; \
 	fi
diff --git a/theories/reals/Makefile.coq.local b/theories/reals/Makefile.coq.local
index 968028f..c6a0262 100644
--- a/theories/reals/Makefile.coq.local
+++ b/theories/reals/Makefile.coq.local
@@ -1,8 +1,8 @@
 pre-all::
 	if command -v coqc > /dev/null && (coqc --version | grep -q '8.18\|8.19\|8.20') ; then \
 	  for f in $(shell grep "From Corelib" $$(find . -name "*.v") | cut -d: -f1) ; do \
-	     sed -i.bak $${f} -e 's/From Corelib/From Coq/' ; \
-	     sed -i.bak $${f} -e 's/PosDef/PArith/' ; \
+	     sed -i.bak 's/From Corelib/From Coq/' $${f} ; \
+	     sed -i.bak 's/PosDef/PArith/' $${f} ; \
 	     $(RM) $${f}.bak ; \
 	  done ; \
 	fi