Re: [GHC] #7628: Improve error message when mixing 32bit and 64bit images