support for building with NDK r10 (32-bit version)