Hi Michael,

i didn't report because stretch is not supported yet.

and the crash seemed related to external libraries.

Best