chroot-texinfo: repair bootstrap build.