Re: [GHC] #15702: "-main-is" flag is broken for recent ghc-head