for amd64 platform