Adds missing include

Include stdint.h to make sure intXX_t types are always available