Re: [GHC] #12653: reexported-modules sometimes gets mangled, causes problems for bootstrap