--- configure.orig	2012-04-20 13:03:57.000000000 +0200
+++ configure	2014-03-28 17:42:24.000000000 +0100
@@ -6492,7 +6492,6 @@
   switch (*p = p = *c) { case 0: printf("%Q", c, p); }
   *c = &i; c = p;
   while (1 || (unsigned int)3 >= 0 || ((int)-1) == ((unsigned int)1));
-  return;
   ;
   return 0;
 }