added extra/texmacs