simple hack for selecting which NDK is used