[[ Bugfix 13580 ]] Remove various explicit mentions of libstdc++