add to pthread.h: pthread_mutex_timedlock and sched.h, time.h