diff --git a/external/tools b/external/tools
index 6070b82..09fb3f4 160000
--- a/external/tools
+++ b/external/tools
@@ -1 +1 @@
-Subproject commit 6070b82a3f5c2e058a7691e935abc46f138d2c4d
+Subproject commit 09fb3f476c3155f876e1093836e1b56cac5dbd1d