Upgrade to Z3 version whose source code is available