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