Kpse generated config & TeX to C