private void UpdateIndex(Lazy<SynchronizedProcessReader> processReader, string filename)
{
//process.StandardInput.WriteLine("\"" + ToPosixPath(file.Name) + "\"");
byte[] bytearr = EncodingHelper.ConvertTo(SystemEncoding,
"\"" + filename.ToPosixPath() + "\"" + processReader.Value.Process.StandardInput.NewLine);
processReader.Value.Process.StandardInput.BaseStream.Write(bytearr, 0, bytearr.Length);
}