fix Issue 12580 - dup() won't accept void[]