<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>Hi Michael,</div><div><br></div><div>i didn't report because stretch is not supported yet.</div><div>and the crash seemed related to external libraries.</div><div><br></div><div>Best</div></div></div></div>