repair unzipping across OSes