diff --git a/external/util b/external/util
index fc5381b..537e037 160000
--- a/external/util
+++ b/external/util
@@ -1 +1 @@
-Subproject commit fc5381b3ae14a2931c97e14658164ba596f8667b
+Subproject commit 537e037b8eb469fcb6c2ae1bc2fb17defb6b5d88