Re: [GHC] #11268: Extend ghc environment file features