--- boost_1_47_0/boost/config/stdlib/libstdcpp3.hpp 2011-04-25 14:10:48.000000000 +0200 +++ boost_1_47_0/boost/config/stdlib/libstdcpp3.hpp 2013-04-08 16:26:05.222543782 +0200 @@ -33,7 +33,7 @@ #ifdef __GLIBCXX__ // gcc 3.4 and greater: # if defined(_GLIBCXX_HAVE_GTHR_DEFAULT) \ - || defined(_GLIBCXX__PTHREADS) + || defined(_GLIBCXX__PTHREADS) || defined(_GLIBCXX_HAS_GTHREADS) // // If the std lib has thread support turned on, then turn it on in Boost // as well. We do this because some gcc-3.4 std lib headers define _REENTANT