Re: [GHC] #15440: Flush eventlog in hs_init_ghc