texinfo download and patch script added