minor: moved to <stdint.h>