<div dir="ltr">Hi,<div><br></div><div>thanks, Petr, for the hint. I was not aware of the possibility to specify a binary directory, and I will investigate how that works.</div><div><br></div><div>Cheers,</div><div><br></div><div><div>Alexander Bürger</div><div>MET Norway</div></div></div>