Fix the ZIP archive generator so that it works correctly with the
OS X Archive Tool.  Ticket [923a912309].