Commit 76f13c95a0d1b1f33805719ccde9600b000e4418 worked around a segmentation fault. Investigate the root cause.