diff --git a/third_party/tools b/third_party/tools
index 271b2f2..3000749 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 271b2f2ef79d15d3b63bd21a3257a914f9be6434
+Subproject commit 3000749b53c3f4e0061f03ce8460cb56e956ad01