Thanks for the suggestion, but I had checked it and the location it points to is the right folder for the 64 bit version, but I guess it’s not going to work that way since I have both 32 bit and 64 bit versions installed. It seems to default to opening the 32 bit version. I will just have to launch the 64 bit version and then open the file from the file menu, I guess.
Steve