Modified to handle 64-bit versions of NDK r8e