static void forceRenameFile(File a, File b) {
  renameFile_forceOverwrite(a, b);
}