Make pthreads work again