Updated to build with the last version of HaTeX.