--- configure	2012-03-06 15:14:13.000000000 +0100
+++ configure	2012-03-06 15:14:29.000000000 +0100
@@ -19825,7 +19825,7 @@
 then
   ABI_CHECK=""
 else
-  ABI_CHECK="abi_check"
+  ABI_CHECK=""
 fi