static File optExtractFileFromZipToDir(File zip, File dir, S name) {
  File f = newFile(dir, name);
  if (f.exists()) ret f;
  extractFileFromZip(zip, name, f);
  ret f;
}