binaries with static libstdc++