diff --git a/util b/util
index 40579aff6..b40e72400 160000
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 40579aff6f25a637d6d0da8032700e85b1611cb0
+Subproject commit b40e724007166f6b91aed62ac5a0743ada9037fe