diff --git a/utility b/utility
index f1e036992..712d491c7 160000
--- a/utility
+++ b/utility
@@ -1 +1 @@
-Subproject commit f1e036992290a47fe6e8487b6aed906198b012dc
+Subproject commit 712d491c7123fa46cdc65251f44b3a3ec7fccab9