   (append (when stack-yaml
             (list "--stack-yaml" stack-yaml))
           (list "--with-ghc"
-                "intero"
+                with-ghc
                 "--docker-run-args=--interactive=true --tty=false"
                 )
           (when no-build

                        stack-yaml
                      (buffer-local-value 'intero-stack-yaml backend-buffer)))
        (arguments (intero-make-options-list
                    (or targets
                        (let ((package-name (buffer-local-value 'intero-package-name
                                                                backend-buffer)))

      buffer
    (let* ((options
            (intero-make-options-list
             "intero"
             (or targets
                 (let ((package-name (buffer-local-value 'intero-package-name buffer)))
                   (unless (equal "" package-name)
