Z3-4.3.1 unstable package (used in revkit and cirkit)