Pin the NDK to the ARM 32 bit version - also on 64bit host platforms