Well, the original file format specification didn't say anything about multiple filenames sharing the same name, so it's not actually contrary to the spec. It's easy enough to check for an existing file and delete it if found before adding the new one: after all, that's what WinZip and friends are doing behind the scenes anyway.