More stdint.h corrections