svoid dm_retrieveFileFromOtherMachineIfDifferent(S computerID, S remotePath, File f) {
  S remoteMD5 = cast dm_evalOnOtherMachine(computerID, "md5OfFile(fileRelativeToUserDir(" + quote(remotePath) + "))");
  if (eq(remoteMD5, md5OfFile(f))) ret with print("File identical: " + f);
  dm_retrieveFileFromOtherMachine(computerID, remotePath, f);
}

static File dm_retrieveFileFromOtherMachineIfDifferent(S computerID, S remotePath) {
  File f = standardPathForFileFromOtherComputer(computerID, remotePath);
  dm_retrieveFileFromOtherMachineIfDifferent(computerID, remotePath, f);
  ret f;
}