Changed to use the standard python library to make a ZIP.