Fix a function pointer <-> void* casting issue.