Check for amd64