I didn't manage to find the thread referred to (I could have looked harder) but went ahead and renamed the file and it seems to have worked.

For info, I opened a DOS command window and used the REN (RENAME) command:

REN filename filename.exe

I seem to recall from way back that right-clicking and choosing rename from the pop-up menu in Windows may not rename the filename suffix if there is one. (in this case I needed a suffix of .exe).