wget explicitly sets zip name