The problem I have with this approach is that the TeXFile.py is rather slow. On my system, it takes 11s, whereas configure.py itself needs 5s.
Was TeXFile.sh any faster? My experience is that TeXFile.py is much faster on windows than TeXFile.sh, I have not compared them under linux. Bo
