- Remove hardcoded optimizations
- Fix .so versioning
- use -fPIC to build shared libs on all archs

Index: scripts/mk_util.py
--- scripts/mk_util.py.orig
+++ scripts/mk_util.py
@@ -2692,7 +2692,6 @@ def mk_config():
             EXAMP_DEBUG_FLAG = '-g'
             CPPFLAGS     = '%s -DZ3DEBUG -D_DEBUG' % CPPFLAGS
         else:
-            CXXFLAGS     = '%s -O3' % CXXFLAGS
             CPPFLAGS     = '%s -DNDEBUG -D_EXTERNAL_RELEASE' % CPPFLAGS
         if is_CXX_clangpp():
             CXXFLAGS   = '%s -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value' % CXXFLAGS
@@ -2715,7 +2714,7 @@ def mk_config():
             SO_EXT         = '.so'
             SLIBFLAGS      = '-shared'
         elif sysname == 'OpenBSD':
-            SO_EXT         = '.so'
+            SO_EXT         = '.so.${LIBz3_VERSION}'
             SLIBFLAGS      = '-shared'
         elif sysname  == 'SunOS':
             SO_EXT         = '.so'
@@ -2735,7 +2734,7 @@ def mk_config():
             LIB_EXT        = '.lib'
         else:
             raise MKException('Unsupported platform: %s' % sysname)
-        if is64():
+        if true:
             if not sysname.startswith('CYGWIN') and not sysname.startswith('MSYS') and not sysname.startswith('MINGW'):
                 CXXFLAGS     = '%s -fPIC' % CXXFLAGS
         elif not LINUX_X64:
