Update 2013-07-14-‘r16b’的erlang:delete_element导致segmentation-fault.md