static void jpegify(File imageFile) {
  loadImage2(imageFile);
  File destFile = replaceExtension(imageFile, ".jpg");
  File atticFile = newFile(javaxDataDir("JPEGified original pictures"), imageFile.getName());
  File atticFile = makeFileNameUnique(atticFile);
  saveJPGVerbose(destFile, imageFile);
  moveFileVerbose(imageFile, atticFile);
  print("Conversion done.");
}