Fixed gcc compile errors (missing stdint.h)