Use `amd64` instead of `x86_64` for debian platform

Our debian tarballs are named using the debian convention of `amd64` rather than the redhat convention of `x86_64`