Add missing stdint.h header