use stdint
fixes