simplify installation (no need for 7zip)