diff --git a/tools/require_tool.sh b/tools/require_tool.sh
index 42da2ccf..1fa77f77 100755
--- a/tools/require_tool.sh
+++ b/tools/require_tool.sh
@@ -89,7 +89,7 @@ require_tool ()
   envvar_name=$(echo $1 | tr '[:lower:]' '[:upper:]')
   tool=$(printenv $envvar_name || echo $1)
   local version=$($tool --version 2>/dev/null| \
-    sed -n 's/.*[^0-9.]\([0-9][0-9.]*\).*/\1/p;q')
+    sed -n 's/.*[^0-9.]\([0-9]*\.[0-9.]*\).*/\1/p;q')
   if test x"$version" = x ; then
       echo "$tool is required" >/dev/stderr
       return 1