Fix missing intptr_t in header