Re: [GHC] #9421: Problems and workarounds when installing and using a 32bit GHC on 64bit Linux machine (was: magic number mismatch when installing 32bit on 64bit machine)