fix support for void pointers in ctypes