fix undefined symbol from libmujs when loading mupdf on Android