Rename defs.tex -> header.tex