diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index ecba3fe53..e603d8cd8 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -49,9 +49,9 @@
           (buffer-file-name)
           (flymake-init-create-temp-buffer-copy 'lean-create-temp-in-system-tempdir))))
     (compile (lean-compile-string
-              (shell-quote-argument (lean-get-executable lean-executable-name))
+              (shell-quote-argument (f-full (lean-get-executable lean-executable-name)))
               (or arg "")
-              (shell-quote-argument target-file-name)))))
+              (shell-quote-argument (f-full target-file-name))))))
 
 (defun lean-exec-at-pos (process-name process-buffer-name &rest options)
   "Execute Lean by providing current position with optional