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