jgrep, pgrep: use conciser syntax