bugfix - 'texify <filename.py>' works now.