Changing __X86_64__ to __x86_64__ in Intrin.h.