diff --git a/src/shell/server.cpp b/src/shell/server.cpp
index 9c4afcb67f..b572b31a32 100644
--- a/src/shell/server.cpp
+++ b/src/shell/server.cpp
@@ -7,6 +7,8 @@ Authors: Gabriel Ebner, Leonardo de Moura, Sebastian Ullrich
 #if defined(LEAN_SERVER)
 #include <list>
 #include <string>
+#include <algorithm>
+#include <vector>
 #include "frontends/lean/parser.h"
 #include "library/module.h"
 #include "shell/server.h"