Re: [GHC] #8601: runghc from standard input and --ghc-args