[Bug 734709] pthread_cond_timedwait wakes up too early