Re: [GHC] #3333: GHCi doesn't load weak symbols