Use pthread_join() when pthread_timedjoin_np() is not available