Ripgrep is not available. Falling back to GrepTool.
