Command-line converter from ZIP to DEFLATE.