Apparently the abnormal termination error message needs sys_gettid