diff --git a/third_party/tools b/third_party/tools
index 47441c0..093cc58 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 47441c0bc95190858014d6f1eab896d0b0aad739
+Subproject commit 093cc5830086f8a5a69e8792f8d0f16af496233c