diff --git a/src/util/lean_path.cpp b/src/util/lean_path.cpp
index be55a381ce..3691d3f02a 100644
--- a/src/util/lean_path.cpp
+++ b/src/util/lean_path.cpp
@@ -125,6 +125,8 @@ void init_lean_path() {
         std::string exe_path = get_path(get_exe_location());
         *g_lean_path += g_path_sep;
         *g_lean_path += exe_path + g_sep + ".." + g_sep + "library";
+        *g_lean_path += g_path_sep;
+        *g_lean_path += exe_path + g_sep + ".." + g_sep + "lib" + g_sep + "lean";
     } else {
         *g_lean_path = r;
     }