Re: [GHC] #8291: unloadObj doesn't work, unloaded_objects list keeps growing in size