update for stdint