diff --git a/Makefile b/Makefile
index a9631c171..a80583847 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ elpi/dune: elpi/dune.in
 	@if $$(coqc --version | grep -q "8.19\|8.20") ; then \
 	  sed -e 's/@@STDLIB_THEORY@@//' $< >> $@ ; \
 	else \
-	  sed -e 's/@@STDLIB_THEORY@@/(theories Stdlib)/' $< >> $@ ; \
+	  sed -e 's/@@STDLIB_THEORY@@//' $< >> $@ ; \
 	fi
 	@chmod a-w $@