fix for ZipFile