Remove unzipping

It seems that this is no longer needed.