Re: [GHC] #4162: GHC API messes up signal handlers