Purge the dependency on libstdc++