Binaries for the TeX formatting system