Small fix: main thread now exists using uthread_exit() as well.