Add libpthreads for linux