fix make_dest_filename to really not end up with similar dest filenames