w32threads: wait for the waked thread in pthread_cond_signal.