Include stdint.h instead of inttypes.h.

What we really want with the header is uint8_t, which is defined in stdint.h.
It's guaranteed that inttypes.h includes stdint.h, so including the former was
not an error but was not necessary.