s3 wbinfo: Use uint32_t instead of uint32