...due to intptr_t not being a known type. Adding
#include <stdint.h>
after other includes makse everything work.
Cheers,
-- Nikodemus Schemer: "Buddha is small, clean, and serious."
Lispnik: "Buddha is big, has hairy armpits, and laughs."