added a segfault handler