diff --git a/Makefile.menhir b/Makefile.menhir
index 98bfc750e9..be50b9e6e2 100644
--- a/Makefile.menhir
+++ b/Makefile.menhir
@@ -41,7 +41,7 @@ MENHIR_FLAGS = -v --no-stdlib -la 1
 # Using Menhir in --table mode requires MenhirLib.
 
 ifeq ($(MENHIR_TABLE),true)
-  MENHIR_LIBS = menhirLib.cmx
+  MENHIR_LIBS = menhirLib.cmxa
 else
   MENHIR_LIBS =
 endif