bugfix: we incorrectly reported "process <pid> is not running" when the current user actually had no permissions to check the exec file for the running process. thanks Tony Dai for reporting this issue.