Add missing stdint.h #include to headers that use it.