Update texmate.py