use jvgrep if available