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