add missing stdint.h which is required on linux