Re: [GHC] #9282: GHCi ignores .dyn_hi files