static void moveFile(File a, File b) {
  if (!renameFile(a, b))
    fail("File move failed: " + a + " to " + b);
}