add thread_abort() to continue inferior