Improve download logic in case of mismatching filenames

Improve download logic in case of mismatching filenames

Because sometimes, the filenames announced by the bot and the name of
the file actually offered by the bot are different, e.g. when the
filesystem and the DCC protocol differ on whether letters outside of
7-bit ASCII do actually exist. I still want those files!