Craig, and other folks suffering from the segfault issue: that is a separate issue, and you should create a separate ticket to deal with it.
Craig, and other folks suffering from the segfault issue: that is a separate issue, and you should create a separate ticket to deal with it.