This isn't needed. 

#include <stdint.h> above should include the right thing.