svoid zip_addBinaryFile(ZipOutputStream outZip, S name, byte[] data) ctex {
  outZip.putNextEntry(new ZipEntry(name));
  outZip.write(utf8, 0, data);
}