include stdint.h

Otherwise, gcc 4.8 will complain about uint16_t being unknown