--- scripts/update_api.py	2020-09-10 12:51:28.000000000 -0600
+++ scripts/update_api.py	2020-11-05 09:46:58.000000000 -0700
@@ -546,11 +546,7 @@
 
     java_native.write('  static {\n')
     java_native.write('    if (!Boolean.parseBoolean(System.getProperty("z3.skipLibraryLoad"))) {\n')
-    java_native.write('      try {\n')
-    java_native.write('        System.loadLibrary("z3java");\n')
-    java_native.write('      } catch (UnsatisfiedLinkError ex) {\n')
-    java_native.write('        System.loadLibrary("libz3java");\n')
-    java_native.write('      }\n')
+    java_native.write('      System.load("@PREFIX@/lib/z3/libz3java.dylib");\n')
     java_native.write('    }\n')
     java_native.write('  }\n')