static boolean renameFile(File a, File b) {
  if (!a.exists()) fail("Source file not found: " + f2s(a));
  if (b.exists()) fail("Target file exists: " + f2s(b));
  mkdirsForFile(b);
  ret a.renameTo(b);
}