Re: [GHC] #3231: Permission denied error with runProcess/openFile