I see that one symbol is missing / has changed on trunk, compared to 4.5. Does this have to be fixed, or can be safely ignored? - _ZSt15future_category@GLIBCXX_3.4.14 4.5 + _ZSt15future_categoryv@GLIBCXX_3.4.16 4.6 Thanks, Matthias