pthreads for GCC >= 4.7