updating to current LaTeXML