Use abort() instead of exit(1) when deadlock detected