diff --git a/scripts/update_api.py b/scripts/update_api.py
index a3d92a7e94b..4295b8961c1 100755
--- a/scripts/update_api.py
+++ b/scripts/update_api.py
@@ -1825,6 +1825,7 @@ def write_core_py_preamble(core_py):
   else:
     print("    import builtins")
     print("    builtins.Z3_LIB_DIRS = [ '/path/to/libz3.%s' ] " % _ext)
+  print(_failures)
   raise Z3Exception("libz3.%s not found." % _ext)