Re: [GHC] #8224: Excessive system time -- new IO manager problem?