    "\n$" ""
    (intero-blocking-call
     'backend
-    (format ":uses %S %d %d %d %d %S"
-            (intero-localize-path (intero-temp-file-name))
+    (format ":uses %s %d %d %d %d %S"
+            (intero-path-for-ghci (intero-temp-file-name))
             (save-excursion (goto-char beg)
                             (line-number-at-pos))
             (save-excursion (goto-char beg)

    (intero-with-dump-splices
     (let* ((output (intero-blocking-call
                     'backend
                     (concat ":load " (intero-localize-path (intero-temp-file-name)))))
            (msgs (intero-parse-errors-warnings-splices nil (current-buffer) output))
            (line (line-number-at-pos))
            (column (if (save-excursion

               (unless (member 'save flycheck-check-syntax-automatically)
                 (intero-async-call
                  'backend
                  (concat ":load " (intero-path-for-ghci (intero-temp-file-name)))))
               (intero-async-call
                'backend
                ":set -fobject-code")
