X64 File - What is an .x64 file and how do I open it?