code: protected PrintWriter wrapWriter(OutputStream o) throws Util.Exit {
          try {
              return new PrintWriter(new OutputStreamWriter(o, "ISO8859_1"), true);
          } catch (UnsupportedEncodingException use) {
              util.bug("encoding.iso8859_1.not.found");
              return null; /* dead code */
          }
      }
docs: We explicitly need to write ASCII files because that is what C
  compilers understand.