DumpThread needs a bigger stack size on OS X