public static void copyFileToFileVerbose(File src, File dest) {
  print("Copying " + f2s(src) + " to " + f2s(dest));
  copyFile(src, dest);
}