Do we *need* 7-Zip included in the repository?