For this reason, it would be better to name the directory "synctexdir" (like pdftexdir, xetexdir, etc). Sounds good to me. Thanks. (Tim, even once this is fixed, I'd still recommend building in a separate Work tree Yes. Besides all the reasons you cite, I suspect there may be other srcdir=builddir problems, now or in the future :). karl