Re: Small patch for x86_64 compatibility