Add JVGREP_OUTPUT_ENCODING