diff --git a/Makefile.in b/Makefile.in
index 5562c003c9187106503be30a48e6ab146382f0e0..dec3a8d93906ed627b536f9e0c20ecf2a3e9e2d2 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -800,11 +800,11 @@ src/coq-tactic/coqCompat.ml: src/coq-tactic/coqCompat@coq_compat_version@.ml
 
 lib/coq-tactic/why3tac.cmxs: lib/why3/why3.cmxa $(COQPCMX)
 	$(if $(QUIET),@echo 'Linking  $@' &&) \
-	    $(OCAMLOPT) $(OFLAGS) -o $@ -shared @BIGINTLIB@.cmxa $^
+	    $(OCAMLOPT) $(OFLAGS) -o $@ -shared $^
 
 lib/coq-tactic/why3tac.cma: lib/why3/why3.cma $(COQPCMO)
 	$(if $(QUIET),@echo 'Linking  $@' &&) \
-	    $(OCAMLC) -a $(BFLAGS) -o $@ @BIGINTLIB@.cma $^
+	    $(OCAMLC) -a $(BFLAGS) -o $@ $^
 
 src/coq-tactic/g_why3tac.ml: src/coq-tactic/g_why3tac.ml4
 	$(if $(QUIET),@echo 'Camlp5   $<' &&) \