deleting "const void *" is undefined, this fixes issue #2