Add x86_64, for the benefit of attempts to use this stuff on Linux.