diff -r b979e3044d8e -r b5286c564861 lib/Tools/ghc_setup
--- a/lib/Tools/ghc_setup	Wed Mar 20 21:54:08 2019 +0100
+++ b/lib/Tools/ghc_setup	Wed Mar 20 21:57:02 2019 +0100
@@ -8,4 +8,4 @@
 
 isabelle_stack setup
 isabelle_stack ghc -- --version
-echo -n "$(standard_path "$(isabelle_stack path --programs)")" > "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS"
+echo -n "$(standard_path "$(isabelle_stack path --compiler-exe)")" > "$ISABELLE_STACK_ROOT/ISABELLE_GHC_EXE-$ISABELLE_PLATFORM_FAMILY"