switching to pgrep to find pid

This seems to be more widely available across distributions. Fixes #7