libMGD.so trying to load dependencies from wrong path?

For a 64 bit application we were trying to get the Mali Graphics Debugger to work on an unrooted Huawai Mate 10 Lite.

We followed the instructions and added the libMGD.so to the apk and called System.loadLibrary("MGD") on startup.

However, the System.loadLibrary call caused an exception because the dependency libmediacapture_jni.so could no be found in the system/lib64 folder. When browsing the phone using "adb shell", we found out that there is no system/lib64 folder on that phone. we only found the system/lib folder on that particular device.

I don't know whether that is a screwup on Huawai's part or if libMGD.so should also check the system/lib folder if a system/lib64 folder could not be found (given that those *.so contain 64bit binaries)