Support for 64bit NDK

This patch uses only the NDK release name to choose between 32/64 bit toolchain paths and not the host architecture.