Apparently, the compressed file contained a JPG image file, which my Windows was unable to delete. Using the Skip option, I deleted all but this file. Now, why did this happen? Under standard Windows ...