LaTeX: Default header file