Also generate a ZIP redistributable