Add missing import of stdint.h