Android: Fix build with Android 4.3 API