Leiningen now installed by boxen