fix symbol name in jni spec