Remove warning about GNU void* extension