new version of segfaulthandler