update texmacs related stuff