oops, pthread_cond_wait takes fewer args than the timedwait