(iOS) Add HAVE_7ZIP support