Add missing libstdc++ library