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