With the current version in the TL repository, running "texexec -- make" creates formats for the pdftex engine in "web2c/pdfetex", which is not the correct location for the new pdftex 1.40, where $engine is simply "pdftex". JK