toolchain module altered, now it is using local texinfo