Hi Nico, The issue has been fixed. Thanks for the bug report! - Yang On 5/16/19 1:15 PM, Nico Weber wrote: > Hi, > > creduce asked me to tar up this crash report and send it your way. > > Thanks for this useful tool! > > Nico