fix(lean.rb): fix EMACS_LISP_DIR