diff --git a/Makefile.in b/Makefile.in
index e45e272..9f1649e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -384,6 +384,7 @@ docdir = @docdir@
 dvidir = @dvidir@
 exec_prefix = @exec_prefix@
 gt_SHARED_common = @gt_SHARED_common@
+gt_SHARED_mul = @gt_SHARED_mul@
 host = @host@
 host_alias = @host_alias@
 host_cpu = @host_cpu@