Rename AMD64 to x86_64