w32thread: port fixes to pthread_cond_broadcast() from x264.