remove unneeded 'use LaTeXML' which seems to cause redefinition issues