update

diff --git a/util b/util
index 7f3276a337126147efbae439e9072e7235fe5494..572b36317b9d6ca5b2a794ef2a5901a0656e811e 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 7f3276a337126147efbae439e9072e7235fe5494
+Subproject commit 572b36317b9d6ca5b2a794ef2a5901a0656e811e