am 145afc2c: (-s ours) am fb1ecbc5: am e6e71608: Merge "Use __ANDROID__ instead of HAVE_ANDROID_OS."

* commit '145afc2cc4f973a4ad63aeabe5b0f633c8e99cec':