Before this change, it would only use TeX Live's synctex if it happened to not be installed at build time. OK jca@