updated config for ndk-9b and for using with gcc-4.8