Cast pointer to void * for the benefit of gcc.