Re #917: Adding printstacktrace to MINT client