Include header in cotlangtx output