Fixing/silencing a bug in Zip file handling.