Fix failure to build on Android.