add segfault-checker