Re: [GHC] #15063: T3001-2 fails on i386 Linux