static bool hasGIFExtension(File f) {
  ret ewic(fileName(f), ".gif");
}