Remove old workaround for libstdc++