svoid deleteFileVerbose_assertSuccess(File file) {
  if (!deleteFileVerbose(file))
    fail("Couldn't delete " + file);
}