ANDROID: Workaround for API10 with android-ndk-r10c