BTW: They answered to the github issue. Fedora has a patch to use the minizip library: https://src.fedoraproject.org/rpms/libsbml/blob/rawhide/f/0001-Use-system-minizip-cmake.patch (Maybe for the next upload). Thanks.