Wow. I went off to make a quick snack for a family member and came back to a reply. Thanks so much. I suspected that it should be an exe file but couldn't imagine it changing it's name during the download.

I'll take a look at the thread you mentioned and will try to fix it. Thanks again.