Fixes #3472: allows to dl archives as zip

Missing renaming when the "utilities" tab was added.