Hallo there, since July 2014 releas a new version of NDK (v10: http://developer.android.com/tools/sdk/ndk/index.html) and use GCC 4.9. Please add it in distribute.sh if possible.