We report on ongoing work on bringing automatic, zero-setup native compilation of Lean metaprograms including tactics to Lean 4. A core component is a self-contained compilation toolchain based on LLVM for all major platforms supported by Lean. We discuss issues of packaging, linking, and loading of code into the Lean system, with the primary goal of hiding this complexity from the user as much as possible. We describe our initial plans for a module/compilation unit system supporting phase separation inspired by Racket for minimizing introduced compilation overhead, and welcome early feedback on these ideas.