fix linux targets, enable libstdc++-v3