Re: [GHC] #12517: Simplify runghc command line options