static File jpegifyWithInfoBox(File f) {
  infoBox("JPEGifying: " + f.getName());
  long size1 = fileSize(f);
  File destFile = jpegify(f);
  long size2 = fileSize(destFile);
  infoBox("JPEGified " + f.getName() + "\n\n" + toK(size1) + "K -> " + toK(size2) + "K");
  ret destFile;
}