Hello again,

Finally, I took the easy way out: download and use NDK r9 (http://dl.google.com/android/ndk/and...ux-x86.tar.bz2)

Thanks!