nicer stacktrace in case of segfault