added package for Z3-git version