return new Zip((BinaryInput)s);
return new ZipDirectory((BinaryInput)s);
  public Zip zip_open(Env env,                                String filename)  {    if (filename == null || filename == "")      return null;    BinaryStream s = FileModule.fopen(env, filename, "rb", false, null);    if (s == null)      return null;    return new Zip((BinaryInput)s);  }