forgot header.tex

This is needed for rendering Unicode well. If you have the font installed that is!