diff --git a/third_party/tools b/third_party/tools
index b44f1b9..75b5f25 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit b44f1b9c11a0bdf2711a8764343b37b5acb111cb
+Subproject commit 75b5f259ced3838197a9497452d37e5a0722b5e6