<div dir="ltr"><div class="gmail_quote"><div>I think it would be great if the compilation howto was appended to the externals howto.</div><div><br></div><div>Martin<br></div></div></div>