- added texinfo patch with some workarounds for texinfo 5.x; also avoid ":" in @set variables