Added pthreads and friends for Linux