     (error "Can't start F* subprocess without a backing file (save this buffer first)"))
   (unless fstar-subp--process
     (let ((prog-abs (fstar-find-executable)))
-      (fstar--init-compatibility-layer)
+      (fstar--init-compatibility-layer prog-abs)
       (let* ((buf (fstar-subp-make-buffer))
              (process-connection-type nil)
+             (tramp-process-connection-type nil)
              (args (fstar-subp-with-interactive-args (fstar-subp-get-prover-args)))
              (proc (fstar-subp-start-process buf prog-abs args)))
         (fstar-log "Started F* interactive: %S" (cons prog-abs args))


(defun fstar-subp-start-process (buf prog args)
  "Start an F* subprocess PROG in BUF with ARGS."
  (apply #'start-process "F* interactive" buf prog args))

(defun fstar-subp-start ()
  "Start an F* subprocess attached to the current buffer, if none exists."

(require 'cl-lib)
(require 'eldoc)
(require 'help-at-pt)
(require 'tramp)

(require 'dash)
(require 'company)
