Add c header required for `uintptr_t`

This allows a C example to to compile on debian.