   (let* ((prefix (concat "fslit_" (buffer-name)))
          (html-fname (make-temp-file prefix nil ".html"))
          (fst2html (expand-file-name "etc/fslit/fst2html.py" fstar--directory))
-         (contents (buffer-substring-no-properties (point-min) (point-max))))
+         (contents (buffer-substring-no-properties (point-min) (point-max)))
+         (python (fstar-find-executable fstar-python-executable "Python"
+                                   'fstar-python-executable 'local-only)))
     (with-temp-buffer
-      (pcase (call-process-region contents nil "python"
+      (pcase (call-process-region contents nil python
                                   nil t nil fst2html "-" html-fname)
         (`0 (message "Compilation complete: %s" (fstar--string-trim (buffer-string)))
             (browse-url html-fname))

      :face (if enabled 'success '(bold error))))))

(flycheck-define-command-checker 'fstar-literate
  "Flycheck checker for F*."
  :command '("python"
             (eval (expand-file-name "etc/fslit/lint.py" fstar--directory))
             "--stdin-filename" source-original

                      (flycheck-python-verify-module 'fstar-literate "docutils"))))
  :modes '(fstar-mode fstar-literate--rst-mode))

(add-to-list 'flycheck-checkers 'fstar-literate)
(cl-pushnew 'fstar-literate--rst-mode (flycheck-checker-get 'rst-sphinx 'modes))

