--- a/gmp-6.1.1/tune/time.c	2016-06-18 22:00:00.000000000 +0200
+++ a/gmp-6.1.1/tune/time.c	2016-11-17 23:37:35.719888131 +0100
@@ -774,8 +774,8 @@ 
     }
 
   cgt_unittime = unit.tv_sec + unit.tv_nsec * 1e-9;
-  printf ("clock_gettime is %s accurate\n",
-	  unittime_string (cgt_unittime));
+  /* printf ("clock_gettime is %s accurate\n",
+	  unittime_string (cgt_unittime)); */
 
   if (cgt_unittime < 10e-9)
     {