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