diff --git a/src/kernel/environment.cpp b/src/kernel/environment.cpp
index b8a986f4c..92a4ee308 100644
--- a/src/kernel/environment.cpp
+++ b/src/kernel/environment.cpp
@@ -169,9 +169,8 @@ public:
     }
 };
 
-static std::unique_ptr<extension_manager> g_extension_manager;
-
 static extension_manager & get_extension_manager() {
+    static std::unique_ptr<extension_manager> g_extension_manager;
     if (!g_extension_manager)
         g_extension_manager.reset(new extension_manager());
     return *g_extension_manager;