static File fixImageFileName(File file) {
  if (!isFile(file)) ret file;
  
  if (isJPEG(file))
    ret renameFile_assertTrue(file, changeExtension(file, ".jpg"));
  if (isPNG(file))
    ret renameFile_assertTrue(file, changeExtension(file, ".png"));
  ret file;
}