Re: runghc failing sometimes on Linux/ppc?