Re: mixing x86_64 and i386