Ignore catchsegv when killing as well