--- configure.orig	2010-04-13 10:19:13.000000000 +0200
+++ configure	2010-04-13 10:19:48.000000000 +0200
@@ -16469,18 +16469,6 @@
     return 1;
   }
 
-  if (sizeof(mp_limb_t)*CHAR_BIT != GMP_LIMB_BITS
-      || GMP_LIMB_BITS != mp_bits_per_limb) {
-    std::cerr
-      << "GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch:\n"
-      << "header gives " << __GMP_BITS_PER_MP_LIMB << ";\n"
-      << "library gives " << mp_bits_per_limb << ".\n"
-      << "This probably means you are on a bi-arch system and\n"
-      << "you are compiling with the wrong header or linking with\n"
-      << "the wrong library." << std::endl;
-    return 1;
-  }
-
   mpz_class n("3141592653589793238462643383279502884");
   return 0;
 }
