diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el
index a3e0c2dae1..b1ede1f558 100644
--- a/src/emacs/lean-flycheck.el
+++ b/src/emacs/lean-flycheck.el
@@ -11,6 +11,8 @@
   (cl-concatenate 'list
                   `(,(lean-get-executable lean-flycheck-checker-name))
                   lean-flycheck-checker-options
+                  '("--cache")
+                  '(source-original)
                   '("--")
                   '(source-inplace)))
 
@@ -75,7 +77,7 @@
            (tempbase (file-name-base tempname))
            (tempfile (expand-file-name tempbase
                                        (file-name-directory filename)))
-           (exts     '(".ilean" ".d" ".clean" ".olean"))
+           (exts     '(".ilean" ".d" ".olean"))
            (tempfiles (--map (concat tempfile it) exts)))
       (mapc #'flycheck-safe-delete tempfiles))))