Re: [GHC] #11683: compiled files don't load in ghci