--- configure.orig	2016-04-15 21:02:25 UTC
+++ configure
@@ -16943,7 +16943,7 @@ as_arg_v2="3.0"
 awk "$as_awk_strverscmp" v1="$as_arg_v1" v2="$as_arg_v2" /dev/null
 case $? in #(
   1) :
-    as_fn_error $? "not found" "$LINENO" 5 ;; #(
+      ;; #(
   0) :
       ;; #(
   2) :