Unify_unify(): made it work also when destination file does not exist (needed for...