diff --git a/third_party/tools b/third_party/tools
index 68ccf53..75b5f25 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 68ccf5341b5212a8f0b9d1d6ba0095a98c431b29
+Subproject commit 75b5f259ced3838197a9497452d37e5a0722b5e6