Add option to disable exporting headers for TeX