Fix a warning message with newlib's stdint.h