[FIX] missing stdint.h added