use -static-libstdc++ option