Fix for Cygwin: cast to pointer from integer of different size