Fix demux for amd64