Re: [GHC] #9282: GHCi ignores .dyn_o files (was: GHCi ignores .dyn_hi files)