From Craig Silverstein: x86_64 support.