ch13: fix compile error, uint32_t requires <stdint.h>