Fix pointer to integer cast warnings

This fixes warning: cast to pointer from integer of different size. In Windows platform, long is 4 bytes. So, void* is first cast to intptr_t then to int.