TeX distribution, executables
