[mingw-warning-fix][delete-void-pointer]

Deleting void* is undefined.