I saw this in an error message somewhere but did not repeat. I reconfigured, regenerated the binary files. Still get the segfault, however.