Test x64 build; make one minor correction for it