Re: [GHC] #13004: Timeout no longer kills processes on timeout