diff --git a/third_party/tools b/third_party/tools
index 75b5f25..5bb2ac1 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 75b5f259ced3838197a9497452d37e5a0722b5e6
+Subproject commit 5bb2ac1a389f739ac46e0c0e41f037c8abf2b983