Index: src/util/lean_path.cpp
--- src/util/lean_path.cpp.orig
+++ src/util/lean_path.cpp
@@ -120,7 +120,7 @@ search_path get_builtin_search_path() {
             path.push_back(lean_path.substr(i, j - i));
     }
 #else
-    std::string exe_path = dirname(get_exe_location());
+    std::string exe_path = "${TRUEPREFIX}/bin";
     path.push_back(exe_path + get_dir_sep() + ".." + get_dir_sep() + "library");
     path.push_back(exe_path + get_dir_sep() + ".." + get_dir_sep() + "lib" + get_dir_sep() + "lean" + get_dir_sep() + "library");
 #endif
