libstdc++ optimization