Be more specific about x64 vs x86