https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100907
--- Comment #3 from José Rui Faustino de Sousa <jrfsousa at gcc dot gnu.org> --- It seems that Mac OS doesn't have the full set of C11 standard headers... :-( It should work using "stdint.h" and typedef(ing) char32_t to uint32_t. If that doesn't work either one could try "unsigned int". I will attach an updated file, with the altered file. I have no access to Mac OS, so I cannot test it. Thank you very much. Best regards, José Rui