Fixed a bug in exporting zip. Considered finished with ACM.

A bug that causes all the saved pdf to be the same file. Tuned all the
exports to work with workshops.