Re: [GHC] #7478: setSessionDynFlags does not always work