fix a warning of missing `uintmax_t`