get rid of int to void* warnings when building 64-bit