FIX: vxworks 6.9 defining intptr_t