Merge patch proposed by technic - binutils failure with texinfo 5.x