      (fstar-issue-level issue)
      (fstar-issue-message issue)
      :checker 'fstar-interactive
-     :filename (fstar-location-filename loc))))
+     :filename (fstar-location-remote-filename loc))))
 
 (defun fstar-subp--flycheck-continuation (callback status response)
   "Forward results of Flycheck check (STATUS and RESPONSE) to CALLBACK."


(defun fstar--query-vernum (executable)
  "Ask F* EXECUTABLE for its version number."
  (with-temp-buffer
    (process-file executable nil t nil "--version")
    (buffer-string)))

(defun fstar--init-compatibility-layer (executable)
  "Adjust compatibility settings based on EXECUTABLE's version number."

  "Remove OVERLAY."
  (delete-overlay overlay))

(defconst fstar-subp--related-location-help-string-1
  (format "\\[fstar-jump-to-related-error] to visit, %s to come back"
          (if (fboundp 'xref-pop-marker-stack)
              "\\[xref-pop-marker-stack]" "\\[pop-global-mark]")))

(defun fstar-subp--related-location-help-string ()
  "Build a string describing motion commands for related locations."
  (substitute-command-keys fstar-subp--related-location-help-string-1))

(defun fstar-subp--help-echo-for-alt-locs (locs)
  "Prepare a string describing LOCS and how to browse to them."
