static void moveFileVerbose(File f, File dest) {
  moveFile(f, dest);
  print("Moved file " + f2s(f) + " to " + dest);
}