Solved. I figured out that the CMake GUI has an x64 option. I also created a separate ‘build x64’ directory for the output.
