Got NDK working with libstdc++