add texmacs-9999