Android: use FFI-based dlopen() and JNI interfacing