Some platforms use amd64 to refer to x86_64