On 10/31/2016 10:16 AM, Carlos O'Donell wrote: > I'm fixing this. I don't know why this didn't fail on my x86_64 build. x86_64 includes <libc-internal.h> by default because the platform-specific headers need the cast_to_integer macro. Florian