svoid lcSaveToFile(LineCompCompressor comp, File f) { 
  saveGZTextFile(f, compr.asText(), "ISO-8859-1");
}