<div dir="ltr">Hi,<br><div>Some patches needed to build on a ubuntu 15.10 machine. <br>First 2 are for gcc inline removal, the third is to skip </div><div>texinfo build with newer version of texinfo installed.</div><div>// Konrad</div></div>