mk/config.mk contains GhcDynamic and DYNAMIC_GHC_PROGRAMS variables. What is the difference between them? From the names and comments, it looks like DYNAMIC_GHC_PROGRAMS controls whether all the GHC binaries will be static or dynamically linked, but GhcDynamic only controls the GHC executable?