__ANDROID__ is defined in the Android build environment; no need for an extra -DANDROID