Close ZipFile before deleting it.

This did not induce any problems with Linux, but gave an error with Windows. Mac is not yet tested.