Make wcwidth.c use uint32_t instead of wchar_t