diff --git a/src/util b/src/util
index 9b490e4..c71d038 160000
--- a/src/util
+++ b/src/util
@@ -1 +1 @@
-Subproject commit 9b490e4d352a82c80f6b456645eed093963e7256
+Subproject commit c71d038b1ad77ba42e2774e3aabe994e4b481815