Do not install sevenzip by default