Use short arguments for pgrep to please older systems