issue #1646: Using GNU libstdc++ to build spiderMonkey on Android.