add back the segfault handler