Pin the NDK to the ARM 32 bit version