jenkins failed to build this, I think you need to include #include <stdint.h> here.