also verify we're x86_64