ANDROID: restore NDK version