resolved undefined freopen for texinfo.