Fix the amd64 build. Fix a warning.