Re: Differences in headers between i386 and x86_64