fix: stdint.h is needed on some systems for intptr_t