svoid zipToLineComp(File zip, File lc) {
  new LineCompCompressor comp;
  comp.loadTexts(zipFileToStringMap(zip));
  comp.run();
  lcSaveToFile(comp, lc);
}