pthreads and libstdc++