Use get_pthreads.h in another place. (dm)