Pass amd64 to debian for 64-bit installs