restore latex.el