FIX: explicitly using libstdc++