Use android-9 by default for Android builds