core/jni/AndroidRuntime.cpp: fix build