Segfault handler with Boehm fixed