Support for 64bit NDK