build fix for amd64 platform