Fixes #3207: correct the sorting of files in zip