We accidentally accepted a patch in which an algorithm tried to write to the STINGER data structure, which was read-only, so it caused a seg fault.  That code is now commented out and will be moved to the server or deleted in the future.