bash with no texinfo patch