Mark win32's pthread_exit() as NORETURN