{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        zip(&target.server_path, target.symbols_path.as_ref(), &dst.with_extension("zip"))?;
        gzip(&target.server_path, &dst.with_extension("gz"))?;