Make Android build work with 64bit version of the NDK