Comment by pjmlp

Static linking wonders?

Originally Lean was coded in C++, and dynamically linked executable, if I remeber correctly.