RE: ghci takes all available CPU time