From 62cc752fb6450e41d2363ceefc9ab6ee928b1260 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 1 Nov 2012 10:28:26 -0700
Subject: [PATCH] Fixed bug reported by Arie Gurfinkel

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 scripts/update_api.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/update_api.py b/scripts/update_api.py
index 237fa80a6..46251ea61 100644
--- a/scripts/update_api.py
+++ b/scripts/update_api.py
@@ -76,7 +76,7 @@ def lib():
       except:
         pass
       try:
-        init('%s%slibz3.%s' % (_dir, ext))
+        init(os.path.join(_dir, 'libz3.%s' % ext))
         break
       except:
         pass