BUG: Add include needed by NDK for android build.
This fixes a build failure on the latest Android NDK.
System updates will be applied on Nov 25th between 7am and 9am, EST (UTC-05:00). This site will have intermittent downtime during that time.
This fixes a build failure on the latest Android NDK.