diff --git a/tools/common b/tools/common
index f0a952ce..9238d4ce 160000
--- a/tools/common
+++ b/tools/common
@@ -1 +1 @@
-Subproject commit f0a952ce32d81018ec9623922cd2726ddd07c423
+Subproject commit 9238d4ce7ad5335c9bf560f013212cea5dad22eb