diff --git a/tools b/tools
index 51bb868..b250635 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 51bb86828f6e32befe05ce9e122cf95d834a46fd
+Subproject commit b250635f88eef1a54c4af34ea3e1451c1f514a28