1. When copying a file with Teradesk, Thing and Jinnee it doesn't matter
if it overwrite an existing file or not. The timestamps are always set
in the same manner.
Aha. In that case it's bad for 'make', too. Do you think it makes sense to ask Teradesk author for fix (if we can call it a 'fix', that is), i.e. change modification time in case of overwrite?