Fixing a wrong use of stdint instead of our own integer interface in Buffer.