diff --git a/src/shell/lean.cpp b/src/shell/lean.cpp
index ec1d754e59..3f7e87aed8 100644
--- a/src/shell/lean.cpp
+++ b/src/shell/lean.cpp
@@ -224,10 +224,14 @@ private:
     lean::initializer m_init;
 public:
     initializer() {
+#if defined(LEAN_SERVER)
         lean::initialize_server();
+#endif
     }
     ~initializer() {
+#if defined(LEAN_SERVER)
         lean::finalize_server();
+#endif
     }
 };