move-if-change: cope with concurrent mv of identical file.