add texmacs patch