diff --git a/tools b/tools
index 7a3dd17..48b3a87 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 7a3dd171f73cf328c170bde1a11c1b7eebb015da
+Subproject commit 48b3a87401e97915659b76a7eda915b09c815af8