- Added support for NDK R9 64 bits.
- Added new config to build with NDK R9: use latest supported gcc toolchain (4.8 at this time), target Android API level 14 (was previously 9) and no debug symbol (remvoed -g flag).