svoid saveBinaryFileVerbose(File f, byte[] data) {
  bool exists = f.exists();
  saveBinaryFile(f, data);
  print((!exists ? "Created" : "Updated") + " file " + f2s(f) + " (" + f.length() + " bytes)");
}