fix make_dest_filename to really not end up with similar dest filenames
[booh] / lib /
drwxr-xr-x   ..
drwxr-xr-x - booh