Add patch to fix headless BibTeX output.