<div dir="ltr"><div class="gmail_extra">We can also provide a Linux executable, but I don't quite know how portable an executable would be if I build it on e.g. some specific version of Ubuntu?</div><div class="gmail_extra">

<br></div></div>