Add include of stdint.h for Linux

Linux compile fails without <stdint.h>