static File copyFileToClipboardVerbose(File f) {
  if (f == null) null;
  print("Copying file to clipboard: " + f);
  ret copyFileToClipboard(f);
}