Simplify the bug fix made by 41312154.

Note: stdlib.h provides u_int32_t etc. and stdint.h uint32_t etc., that's why the symbol wasn't found (no need typedef, just include).