diff --git a/src/modules/Gmp/configure.in b/src/modules/Gmp/configure.in
index 61b99902362b1d2d8da84b71c4d3eea91eac1c48..fc5f5b9053b74c9a56fec525237a44203deff0c8 100644
--- a/src/modules/Gmp/configure.in
+++ b/src/modules/Gmp/configure.in
@@ -1,4 +1,4 @@
-# $Id: configure.in,v 1.18 2000/09/05 13:01:01 grubba Exp $
+# $Id: configure.in,v 1.19 2000/09/05 16:25:03 marcus Exp $
 AC_INIT(mpz_glue.c)
 AC_CONFIG_HEADER(gmp_machine.h)
 AC_ARG_WITH(gmp,     [  --with(out)-gmp        Support bignums],[],[with_gmp=yes])
@@ -74,11 +74,11 @@ __MPN(PiKe)
 	])
       ])
     ])
-    if test "x[$]PIKE_PREFIX_NAME" = "xno"; then
+    if test "x$PIKE_PREFIX_NAME" = "xno"; then
       AC_MSG_RESULT(warning -- prefix not found)
     else
-      AC_MSG_RESULT([$]PIKE_PREFIX_NAME)
-      AC_DEFINE(PIKE_MPN_PREFIX, [$]PIKE_PREFIX_NAME)
+      AC_MSG_RESULT($PIKE_PREFIX_NAME)
+      AC_DEFINE_UNQUOTED(PIKE_MPN_PREFIX, $PIKE_PREFIX_NAME)
     fi
     undefine(PIKE_PREFIX_NAME)