On the other hand, since what is really run is virtex, it would be possible to make up a script that does the parsing of a comment and -- LOCALLY ONLY -- call it tex. A similar trick could make the pdftex work. Pierre