Properly (but ugly) detect libstdc++ 4.6