diff --git a/compile-extensions b/compile-extensions
index f752ecf4b..ce9345a9a 160000
--- a/compile-extensions
+++ b/compile-extensions
@@ -1 +1 @@
-Subproject commit f752ecf4b27d2f31bb082dfe7a47c76fefc769d7
+Subproject commit ce9345a9a6e7b00266194cadd18dbef37e791a7b