fix linking with libstdc++