static File convertToGIF(File imageFile) {
  ret saveGIF_verbose(loadImage2(imageFile), changeExtension(imageFile, ".gif"));
}