To test options that change the LaTeX header.