files have been merged in the single texifier.py