diff --git a/tools/common b/tools/common
index 7cef1c0d..0ef31303 160000
--- a/tools/common
+++ b/tools/common
@@ -1 +1 @@
-Subproject commit 7cef1c0df7d50b6727ac6e7b1f1f7f39744dd40f
+Subproject commit 0ef313036986b5208fe3f9ff2a7d88cc91c9188a