Reduce 'android-18' duplication, as originally done by wenderen
619212a
Use android.platform (and $ANDROID_PLATFORM) for configuration, apply 'android-18' default
