sci-mathematics/z3-4.3.1: using jlec's snapshot